Connections of Higher Order and Product Preserving Functors
نویسندگان
چکیده
منابع مشابه
Product Preserving Functors of Infinite Dimensional Manifolds
The theory of product preserving functors and Weil functors is partly extended to infinite dimensional manifolds, using the theory of C∞-algebras.
متن کاملAn Implementation of Higher-order Functors
Recently the module language of SML of New Jersey has been augmented with higher-order functors. Their semantics is described in Tof94, MT94]. This paper sketches how higher-order functors can be implemented with eecient static representations. The key idea of the SML/NJ implementation is the sharing of signature environments , and this idea has been carried over to the higher-order case.
متن کاملHigher Order Connections
The purpose of this article is to present the theory of higher order connections on vector bundles from a viewpoint inspired by projective differential geometry.
متن کاملProduct Preserving Bundle Functors on Multifibered and Multifoliate Manifolds
We show that the set of the equivalence classes of multifoliate structures is in one-to-one correspondence with the set of equivalence classes of finite complete projective systems of vector space epimorphisms. After that we give the complete description of all product preserving bundle functors on the categories of multifibered and multifoliate manifolds. 2000 Mathematics Subject Classificatio...
متن کاملA Semantics for Higher-Order Functors
Standard ML has a module system that allows one to deene para-metric modules, called functors. Functors are \\rst-order," meaning that func-tors themselves cannot be passed as parameters or returned as results of functor applications. This paper presents a semantics for a higher-order module system which generalizes the module system of Standard ML. The higher-order functors described here are ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Czechoslovak Mathematical Journal
سال: 2002
ISSN: 0011-4642,1572-9141
DOI: 10.1023/b:cmaj.0000027242.32639.5c